Assumptions: left cancellative, self-dual
Conclusions: right cancellative
Proof: This holds by self-duality.